Automatically improving constraint models in Savile Row
نویسندگان
چکیده
منابع مشابه
Automatically improving constraint models in Savile Row
When solving a combinatorial problem using Constraint Programming (CP) or Satisfiability (SAT), modelling and formulation are vital and difficult tasks. Even an expert human may explore many alternatives in modelling a single problem. We make a number of contributions in the automated modelling and reformulation of constraint models. We study a range of automated reformulation techniques, findi...
متن کاملAutomatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination
When solving a problem using constraint programming, constraint modelling is widely acknowledged as an important and difficult task. Even a constraint modelling expert may explore many models and spend considerable time modelling a single problem. Therefore any automated assistance in the area of constraint modelling is valuable. Common sub-expression elimination (CSE) is a type of constraint r...
متن کاملAutomatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row
Abstract. The formulation of a Propositional Satisfiability (SAT) problem instance is vital to efficient solving. This has motivated research on preprocessing, and inprocessing techniques where reformulation of a SAT instance is interleaved with solving. Preprocessing and inprocessing are highly effective in extending the reach of SAT solvers, however they necessarily operate on the lowest leve...
متن کاملAutomatically Generating Streamlined Constraint Models with Essence and Conjure
Streamlined constraint reasoning is the addition of uninferred constraints to a constraint model to reduce the search space, while retaining at least one solution. Previously, effective streamlined models have been constructed by hand, requiring an expert to examine closely solutions to small instances of a problem class and identify regularities. We present a system that automatically generate...
متن کاملAutomatically Improving Team Cooperation by Applying Coordination Models
In this paper we present general theoretical models to improve the coordination between team members. We apply these models for passing, a coordination problem in soccer, and demonstrate the usefulness of these models. For the improvement of the team a trainer has been used to extract good passing behavior out of a set of games. The trainer improves this behavior and gives advice for the agents...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2017
ISSN: 0004-3702
DOI: 10.1016/j.artint.2017.07.001